# Contributor: Eloi Torrents <eloitor@disroot.org>
# Maintainer: Eloi Torrents <eloitor@disroot.org>
pkgname=brial
pkgver=1.2.11
pkgrel=2
pkgdesc="BRiAl (Boolean Ring Algebra) is the successor to PolyBoRi"
url="https://github.com/BRiAl/BRiAl"
arch="all"
license="GPL-2.0-or-later"
makedepends="boost-dev libm4ri-dev"
subpackages="$pkgname-dev"
source="https://github.com/BRiAl/BRiAl/releases/download/$pkgver/brial-$pkgver.tar.bz2"
options="!check" # fail for some reason on boost 1.81

build() {
	./configure \
		--build=$CBUILD \
		--host=$CHOST \
		--prefix=/usr \
		--sysconfdir=/etc \
		--mandir=/usr/share/man \
		--localstatedir=/var
	make
}

check() {
	make check
}

package() {
	make DESTDIR="$pkgdir" install
}

sha512sums="
00532b6361c709fce44940bfd22563046cfcbc06d41282a01a26f9bcb25fa86df1406685d7ba4b1ebbb08cd7fa8b9811c81eccf78e72ea96960ef7a059c2e926  brial-1.2.11.tar.bz2
"
